Concurrent algorithm

Results: 314



#Item
51Concurrency control / Computing / Computer programming / Concurrent computing / Non-blocking algorithm / Hazard pointer / Mutual exclusion / Lock / Concurrent data structure / Synchronization / Compare-and-swap / Linearizability

Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2013-03-28 17:48:03
52Concurrent computing / Computing / Software engineering / Fault-tolerant computer systems / Distributed computing / Inter-process communication / Message-oriented middleware / Publishsubscribe pattern / Paxos / Consensus / Communications protocol / Distributed algorithm

Fact-based Inter-Process Communication Primitives for Programming Distributed Systems Robbert van Renesse, Department of Computer Science Cornell University Category: Representation The following position paper describes

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2012-11-08 10:08:11
53Computing / Concurrent computing / Fault-tolerant computer systems / Distributed computing architecture / Distributed computing / Consensus / Linearizability / Tuple space / Tuple / Algorithm / Linda / Distributed object

Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces Alysson Neves Bessani† Miguel Correia‡

Add to Reading List

Source URL: www.di.fc.ul.pt

Language: English - Date: 2006-03-31 09:01:56
54Algebra / Mathematics / Abstract algebra / Semigroup theory / Algebraic structures / Mathematical logic / Category theory / Monoid / Algorithm / Concurrent algorithm

Specifying and Verifying 
 Concurrent
 Algorithms with 
 Histories and Subjectivity memoria software v3.qxd

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2015-04-16 09:10:05
55Concurrency control / Linearizability / Non-blocking algorithm / Monitor / Lock / Deadlock / Synchronization / Thread / Liveness

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

Add to Reading List

Source URL: flint.cs.yale.edu

Language: English - Date: 2013-07-18 23:10:16
56Concurrent computing / Computing / Parallel computing / Computer programming / Cray / SPMD / Unified Parallel C / Divide and conquer algorithms / Thread / OpenMP / Algorithm / Cell

Single Program, Multiple Data Programming for Hierarchical Computations by Amir Ashraf Kamil A dissertation submitted in partial satisfaction of the requirements for the degree of

Add to Reading List

Source URL: titanium.cs.berkeley.edu

Language: English - Date: 2014-04-29 05:44:22
57Computing / Software / Concurrency control / Separation logic / Lock / Concurrency / Non-blocking algorithm / Concurrent computing / Parallel computing / Linearizability / Go

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Add to Reading List

Source URL: ilyasergey.net

Language: English - Date: 2016-03-01 06:31:32
58Concurrency control / Transaction processing / Data management / Software transactional memory / Transactional memory / Lock / Optimistic concurrency control / Non-blocking algorithm / Data / Parallel computing / Isolation / Concurrent data structure

Optimistic Transactional Boosting Ahmed Hassan Roberto Palmieri Binoy Ravindran

Add to Reading List

Source URL: www.hyflow.org

Language: English - Date: 2014-07-30 14:40:19
59Software / Replication / Consensus / Paxos / Server / X Window System / Virtual synchrony / State machine replication / Fault-tolerant computer systems / Computing / Concurrent computing

THE RAFT CONSENSUS ALGORITHM DIEGO ONGARO AND JOHN OUSTERHOUT STANFORD UNIVERSITY MAYraftconsensus.github.io

Add to Reading List

Source URL: raftconsensus.github.io

Language: English - Date: 2015-07-08 01:51:21
60Parallel computing / Automatic parallelization / Compiler / OpenMP / Algorithm / Travelling salesman problem / Multi-core processor / Parallel programming model / Speedup / Computing / Concurrent computing / Computer programming

Intent-based Compilation for Heterogeneous Parallel Architectures Waseem Ahmed Shamsheer Ahmed

Add to Reading List

Source URL: www.hipc.org

Language: English - Date: 2011-11-11 12:59:07
UPDATE